Synthesis of Fault-Tolerant Distributed Router Configurations
نویسندگان
چکیده
منابع مشابه
Synthesis of Fault-Tolerant Distributed Systems
A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but often difficult to implement. In this paper, we investigate fault-tolerant synthesis, i.e., the problem of determining whether a given temporal specification can be implemented as a fault-tolerant distributed system. As in standar...
متن کاملWell-conditioned configurations of fault-tolerant manipulators
Fault-tolerant motion of redundant manipulators can be obtained by joint velocity reconfiguration. For faulttolerant manipulators, it is beneficial to determine the configurations that can tolerate the locked-joint failures with a minimum relative joint velocity jump. This is because the manipulator can rapidly reconfigure itself to tolerate the fault. This paper uses the properties of conditio...
متن کاملAutomated Synthesis of Timed and Distributed Fault-Tolerant Systems
This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, or repair an existing one. We study this problem for two classes of timed and distributed systems. In the context of timed systems, we focus on efficient synthesis of fault-tol...
متن کاملFault-tolerant Distributed Systems
Distributed systems have two key advantages: they increase the quality of our interaction with computers and the quantity of resources available to us. The quality increases as components of a distributed system hide failures from users and render a service more reliable (safer from loss) andmore available (less downtime). Increases in quantity, such as computational power and storage capacity,...
متن کاملFault Tolerant Distributed Computing
The Clouds storage management system supports the object and action primitives provided by the Clouds kernel. Particularly, the storage manager is concerned with mapping object data into virtual memory and providing action and crash recovery for recoverable objects. This document presents some of the technical details in the testbed implementation of the storage manager. The storage manager's g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGMETRICS Performance Evaluation Review
سال: 2019
ISSN: 0163-5999
DOI: 10.1145/3292040.3219652